Data type - PDFSEARCH.IO - Document Search Engine

Data type
Results: 6762

#	Item
811	Combining Deep and Shallow Embedding for EDSL Josef Svenningsson and Emil Axelsson Chalmers University of Technology {josefs,emax}@chalmers.se Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-11-28 10:50:59 Data types Functional programming Type theory Higher-order functions Control flow Fold Map Generalized algebraic data type Eval Software engineering Computing Computer programming
812	Ambivalent Types for Principal Type Inference with GADTs APLAS 2013, Melbourne Jacques Garrigue & Didier R´ Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-12-10 00:25:45 Type theory Procedural programming languages Functional languages Data types Type systems Type inference ALGOL 68 OCaml Hindley–Milner Software engineering Programming language theory Computing
813	We start with the module header: module Agda where open import Relation.Binary.PropositionalEquality open ≡-Reasoning open import Data.Function using (_◦_) This is the identity function: Add to Reading List Source URL: www.andres-loeh.de Language: English - Date: 2015-03-03 07:36:01 Universal quantification Associative property Type Logic Mathematics Abstract algebra Quantification
814	Tecnichal Data Sheet herdade grande WHITE RESERVA 2012 Wine Type Add to Reading List Source URL: www.herdadegrande.com Language: English - Date: 2014-01-30 11:06:32 Biotechnology Food and drink Winemaking Acids in wine Asti wine Barrel Portuguese wine Wine Oenology Fermentation
815	Chapel Language SpecificationCray Inc 411 First Ave S, Suite 600 Seattle, WA 98104 Chapel Language Specification Add to Reading List Source URL: chapel.cray.com Language: English - Date: 2014-09-18 19:18:46 C++ Data types Cross-platform software Procedural programming languages C programming language C Iterator Array data type Array data structure Computing Computer programming Software engineering
816	Guidelines for Submitting Texts Ready for Typesetting (Data Conversion) 1. One single word processing program should be used throughout the whole work. For identical tasks and formatting, please always use the same keys Add to Reading List Source URL: www.mohr.de Language: English - Date: 2015-01-27 03:29:19 Publishing Punctuation Digital typography Desktop publishing software TeX Microsoft Word Hyphen Space Italic type Typography Graphic design Typesetting
817	localrecoding-sigkddExp.dvi Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2007-03-08 12:15:17 Information Mathematical notation Tuple Type theory Synthetic data Mean Data analysis Data mining Data management Mathematics Science
818	Ur: Statically-Typed Metaprogramming with Type-Level Record Computation Adam Chlipala PLDI 2010 Strength of Guarantee Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2012-09-05 20:22:17 Data management Programming paradigms Data types SQL Metaprogramming Type system Computing Relational database management systems Software engineering
819	FLIGHT DATA Participant from (country) Ship name Type Telephone Add to Reading List Source URL: www.balticsarex.org - Date: 2013-05-08 08:59:52
820	ForSpec ForSpec Reference Manual June 24, 2001 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2007-06-26 03:17:52 C programming language Data types Boolean algebra FO Finite model theory C syntax C Enumerated type Bit array Computing Computer programming Software engineering

UPDATE